$\forall$$p$:PosetSig. $\mid$$p$$\mid$ $\in$ Type